Determining Ramifications in the Situation Calculus
نویسنده
چکیده
the middle ground between STRIPS and the situation calculus. The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. As a trivial consequence of Theorem 4 and Theorem 5 we have the following Corollary. Corollary 1 In the hypotheses of Theorem 5, a value proposition C after A is a consequence of D ii the class of intended models of D entails do(A; S 0) 6 = ? C do(A;S0) .tan Kartha and Norm McCain for useful discussions on subjects related to this paper. Thanks to Vladimir Lifschitz and Hudson Turner for very useful comments on a early version of this paper. Research Council (CNR), under the projects \Sis-temi Autonomi Ragionanti e Intelligenti (SARI)" and \Analisi Sperimentale delle propriett a computazionali delle logiche per la rappresentazione della conoscenza".
منابع مشابه
Reconciling the Event Calculus With the Situation Calculus
In this paper, to compare the situation calculus and event calculus we formulate both as logic programs and prove properties of these by reasoning with their completions augmented with induction. We thus show that the situation calculus and event calculus imply one another. Whereas our derivation of the event calculus from the situation calculus requires the use of induction, our derivation of ...
متن کاملRepresenting Action Domains with Numeric-Valued Fluents
We present a general method to formalize action domains with numericvalued fluents whose values are incremented or decremented by executions of actions, and show how it can be applied to the action description language C+ and to the concurrent situation calculus. This method can handle nonserializable concurrent actions, as well as ramifications on numeric-valued fluents, which are described in...
متن کاملA Circumscriptive Calculus of Events
A calculus of events is presented in which domain constraints, concurrent events, and events with non-deterministic effects can be represented. The paper offers a non-monotonic solution to the frame problem for this formalism that combines two of the techniques developed for the situation calculus, namely causal and state-based minimisation. A theorem is presented which guarantees that temporal...
متن کاملCommonsense Inference in Dynamic Spatial Systems: Epistemological Requirements
We demonstrate the role of commonsense inference toward the modeling of qualitative notions of space and spatial change within a dynamic setup. The inference patterns are connected to those that are required to handle the frame problem whilst modeling inertia, and the causal minimisation of Lin [1995] that is required to account for the ramifications of occurrences. Such patterns are both usefu...
متن کاملCommonsense Inference in Dynamic Spatial Systems: Epistemological Requirements. Part 2 of 2
We demonstrate the role of commonsense inference toward the modeling of qualitative notions of space and spatial change within a dynamic setup. The inference patterns are connected to those that are required to handle the frame problem whilst modeling inertia, and the causal minimisation of (Lin 1995) that is required to account for the ramifications of occurrences. Such patterns are both usefu...
متن کامل